- Anfangsmarkierung
- f <edv> ■ header marking
German-english technical dictionary. 2013.
German-english technical dictionary. 2013.
Nihombashi — Anfangsmarkierung der AH 1 auf der Autobahnbrücke über der Brücke. Nihombashi (jap. 日本橋, alternative Romanisierung Nihonbashi), die „Japan Brücke“, ist eine Brücke im Bezirk Chūō der japanischen P … Deutsch Wikipedia
Erreichbarkeitsgraph — Ein Erreichbarkeitsgraph ist ein gerichteter Graph, der aus einem Petri Netz und einer Anfangsmarkierung gewonnen werden kann. Er wird dadurch erzeugt, dass, mit der Anfangsmarkierung beginnend, die Menge der in der Markierung aktivierten… … Deutsch Wikipedia
Erreichbarkeitsgraph (Petri-Netz) — Ein Erreichbarkeitsgraph ist ein gerichteter Graph, der aus einem Petri Netz und einer Anfangsmarkierung gewonnen werden kann. Er wird dadurch erzeugt, dass, mit der Anfangsmarkierung beginnend, die Menge der in der Markierung aktivierten… … Deutsch Wikipedia
Petri-Netz — Als Petri Netze werden Modelle diskreter, vorwiegend verteilter Systeme bezeichnet, die alle einigen wenigen, einfachen Prinzipien genügen. Diese Prinzipien hat der Informatiker Carl Adam Petri in den 1960er Jahren entwickelt. Heutzutage werden… … Deutsch Wikipedia